Fix reference to map/exists. (#231)

w3c · Aug 31, 2023 · bd078c4 · bd078c4
1 parent 0386e3b
commit bd078c4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -1057,7 +1057,7 @@ <h3>Data delivery</h3>
               and {{PressureRecord/[[Time]]}} set to |timestamp|.
             </li>
             <li>
-              If |observer|.{{PressureObserver/[[AfterPenaltyRecordMap]]}}[source] [=map/exists]:
+              If |observer|.{{PressureObserver/[[AfterPenaltyRecordMap]]}}[source] [=map/exists=]:
               <ol>
                 <li>
                   Set |observer|.{{PressureObserver/[[AfterPenaltyRecordMap]]}}[|source|] to |record|.