Fix another reference for "map/exists" (#232)

w3c · Aug 31, 2023 · 9a7d50c · 9a7d50c
1 parent bd078c4
commit 9a7d50c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -1080,7 +1080,7 @@ <h3>Data delivery</h3>
                   Create timer of |observer|.{{PressureObserver/[[PenaltyDuration]]}} duration with the following callback:
                   <ol>
                     <li>
-                      If |observer|.{{PressureObserver/[[AfterPenaltyRecordMap]]}}[source] [=map/exists]:
+                      If |observer|.{{PressureObserver/[[AfterPenaltyRecordMap]]}}[source] [=map/exists=]:
                       <ol>
                         <li>
                           Let |record| be |observer|.{{PressureObserver/[[AfterPenaltyRecordMap]]}}[|source|].