diff --git a/spec.html b/spec.html
index 7f591de14b3..84e173622e3 100644
--- a/spec.html
+++ b/spec.html
@@ -41918,7 +41918,7 @@ <h1>Regular Expressions Patterns</h1>
       <p>This alternative pattern grammar and semantics only changes the syntax and semantics of BMP patterns. The following grammar extensions include productions parameterized with the [UnicodeFlag] parameter. However, none of these extensions change the syntax of Unicode patterns recognized when parsing with the [UnicodeFlag] parameter present on the goal symbol.</p>
       <h2>Syntax</h2>
       <emu-grammar type="definition">
-        Term[U, N] ::
+        Term[UnicodeFlag, N] ::
           [+UnicodeFlag] Assertion[+UnicodeFlag, ?N]
           [+UnicodeFlag] Atom[+UnicodeFlag, ?N] Quantifier
           [+UnicodeFlag] Atom[+UnicodeFlag, ?N]
@@ -41927,7 +41927,7 @@ <h2>Syntax</h2>
           [~UnicodeFlag] ExtendedAtom[?N] Quantifier
           [~UnicodeFlag] ExtendedAtom[?N]
 
-        Assertion[U, N] ::
+        Assertion[UnicodeFlag, N] ::
           `^`
           `$`
           `\` `b`
@@ -41935,8 +41935,8 @@ <h2>Syntax</h2>
           [+UnicodeFlag] `(` `?` `=` Disjunction[+UnicodeFlag, ?N] `)`
           [+UnicodeFlag] `(` `?` `!` Disjunction[+UnicodeFlag, ?N] `)`
           [~UnicodeFlag] QuantifiableAssertion[?N]
-          `(` `?` `&lt;=` Disjunction[?U, ?N] `)`
-          `(` `?` `&lt;!` Disjunction[?U, ?N] `)`
+          `(` `?` `&lt;=` Disjunction[?UnicodeFlag, ?N] `)`
+          `(` `?` `&lt;!` Disjunction[?UnicodeFlag, ?N] `)`
 
         QuantifiableAssertion[N] ::
           `(` `?` `=` Disjunction[~UnicodeFlag, ?N] `)`
@@ -41960,23 +41960,23 @@ <h2>Syntax</h2>
         ExtendedPatternCharacter ::
           SourceCharacter but not one of `^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `|`
 
-        AtomEscape[U, N] ::
+        AtomEscape[UnicodeFlag, N] ::
           [+UnicodeFlag] DecimalEscape
           [~UnicodeFlag] DecimalEscape [> but only if the CapturingGroupNumber of |DecimalEscape| is &le; _NcapturingParens_]
           CharacterClassEscape[?UnicodeFlag]
-          CharacterEscape[?U, ?N]
+          CharacterEscape[?UnicodeFlag, ?N]
           [+N] `k` GroupName[?UnicodeFlag]
 
-        CharacterEscape[U, N] ::
+        CharacterEscape[UnicodeFlag, N] ::
           ControlEscape
           `c` ControlLetter
           `0` [lookahead &lt;! DecimalDigit]
           HexEscapeSequence
           RegExpUnicodeEscapeSequence[?UnicodeFlag]
           [~UnicodeFlag] LegacyOctalEscapeSequence
-          IdentityEscape[?U, ?N]
+          IdentityEscape[?UnicodeFlag, ?N]
 
-        IdentityEscape[U, N] ::
+        IdentityEscape[UnicodeFlag, N] ::
           [+UnicodeFlag] SyntaxCharacter
           [+UnicodeFlag] `/`
           [~UnicodeFlag] SourceCharacterIdentityEscape[?N]
@@ -41985,24 +41985,24 @@ <h2>Syntax</h2>
           [~N] SourceCharacter but not `c`
           [+N] SourceCharacter but not one of `c` or `k`
 
-        ClassAtomNoDash[U, N] ::
+        ClassAtomNoDash[UnicodeFlag, N] ::
           SourceCharacter but not one of `\` or `]` or `-`
-          `\` ClassEscape[?U, ?N]
+          `\` ClassEscape[?UnicodeFlag, ?N]
           `\` [lookahead == `c`]
 
-        ClassEscape[U, N] ::
+        ClassEscape[UnicodeFlag, N] ::
           `b`
           [+UnicodeFlag] `-`
           [~UnicodeFlag] `c` ClassControlLetter
           CharacterClassEscape[?UnicodeFlag]
-          CharacterEscape[?U, ?N]
+          CharacterEscape[?UnicodeFlag, ?N]
 
         ClassControlLetter ::
           DecimalDigit
           `_`
       </emu-grammar>
       <emu-note>
-        <p>When the same left hand sides occurs with both [+UnicodeFlag] and [\~U] guards it is to control the disambiguation priority.</p>
+        <p>When the same left-hand sides occurs with both [+UnicodeFlag] and [\~UnicodeFlag] guards it is to control the disambiguation priority.</p>
       </emu-note>
 
       <emu-annex id="sec-patterns-static-semantics-early-errors-annexb">