diff --git a/README.md b/README.md
index 175831c0..8c4c6020 100644
--- a/README.md
+++ b/README.md
@@ -165,7 +165,7 @@ section is about.
 
 ```
   interface Networking {
-    react : {incoming : Message, from : Node, at : Time} -> Set {to : Node, outgoing : Message}
+    react : {incoming : Message, from : Node, at : Time} -> Set {to : NonEmptySet {Node}, outgoing : Message}
   }
 ```