diff --git a/AlgebraicDataflowArchitectureModel/models/GroupChat.model b/AlgebraicDataflowArchitectureModel/models/GroupChat.model
index 634ddf0..1203e1a 100644
--- a/AlgebraicDataflowArchitectureModel/models/GroupChat.model
+++ b/AlgebraicDataflowArchitectureModel/models/GroupChat.model
@@ -22,6 +22,6 @@
 	in groups.{gid}.messages(prevMesList, notify(m)) = mesList
 	for EachMember(mno:Int) {
 		ref groups.{gid}.members.{mno}(m.{mno}:Str, notify(m))
-		out accounts.{m.{mno}}.notifications(prevNtMap:Map, notify(m)) = insert(prevNtMap, gid, true)
+		out accounts.{m.{mno}:Str}.notifications(prevNtMap:Map, notify(m)) = insert(prevNtMap, gid, true)
 	}
 }