@@ -240,9 +240,9 @@ data EventErrorCode =
240240 -- endpoint at any point in time.
241241 --
242242 -- That is, suppose there are multiple connections in either direction
243− -- between A and B, and A receives a notification that it has lost
244− -- connection to B. Then A should not be able to send any further messages
245− -- to B on existing connections.
243+ -- between endpoints A and B, and A receives a notification that it has
244+ -- lost contact with B. Then A must not be able to send any further
245+ -- messages to B on existing connections.
246246 --
247247 -- Although B may not realize /immediately/ that its connection to A has
248248 -- been broken, messages sent by B on existing connections should not be