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