diff --git a/spec/formatting.md b/spec/formatting.md
index e3c7cefcf3..a96158abc4 100644
--- a/spec/formatting.md
+++ b/spec/formatting.md
@@ -677,8 +677,14 @@ These are divided into the following categories:
     > ```
 
   - A **_Missing Selector Annotation error_** is an error that occurs when the _message_
-    contains a _selector_ that does not have an _annotation_,
-    or contains a _variable_ that does not directly or indirectly reference a _declaration_ with an _annotation_.
+    contains a _selector_ without an _annotation_.
+
+    An implementation MUST NOT emit this error for a _selector_ _expression_
+    that would have an _annotation_
+    if each local _variable_ in it were replaced
+    with the _expression_ of its binding _declaration_,
+    repeating this process until the _expression_
+    contains no local _variable_s.
 
     > Example invalid messages resulting in a _Missing Selector Annotation error_:
     >
@@ -695,15 +701,8 @@ These are divided into the following categories:
     > when * {Value is not one}
     > ```
     >
-    > ```
-    > let $one = {|The one| :func}
-    > let $two = {$one}
-    > match {$two}
-    > when 1 {Value is one}
-    > when * {Value is not one}
-    > ```
 
-  - **Duplicate Option Name errors** occur when the same _name_ 
+- **Duplicate Option Name errors** occur when the same _name_ 
     appears on the left-hand side
     of more than one _option_ in the same _expression_.