diff --git a/spec.html b/spec.html
index e611f1d2714..ccf09d82e10 100644
--- a/spec.html
+++ b/spec.html
@@ -29092,29 +29092,29 @@ <h1>Patterns</h1>
       <p>The `RegExp` constructor applies the following grammar to the input pattern String. An error occurs if the grammar cannot interpret the String as an expansion of |Pattern|.</p>
       <h2>Syntax</h2>
       <emu-grammar type="definition">
-        Pattern[U] ::
-          Disjunction[?U]
+        Pattern[U, N] ::
+          Disjunction[?U, ?N]
 
-        Disjunction[U] ::
-          Alternative[?U]
-          Alternative[?U] `|` Disjunction[?U]
+        Disjunction[U, N] ::
+          Alternative[?U, ?N]
+          Alternative[?U, ?N] `|` Disjunction[?U, ?N]
 
-        Alternative[U] ::
+        Alternative[U, N] ::
           [empty]
-          Alternative[?U] Term[?U]
+          Alternative[?U, ?N] Term[?U, ?N]
 
-        Term[U] ::
-          Assertion[?U]
-          Atom[?U]
-          Atom[?U] Quantifier
+        Term[U, N] ::
+          Assertion[?U, ?N]
+          Atom[?U, ?N]
+          Atom[?U, ?N] Quantifier
 
-        Assertion[U] ::
+        Assertion[U, N] ::
           `^`
           `$`
           `\` `b`
           `\` `B`
-          `(` `?` `=` Disjunction[?U] `)`
-          `(` `?` `!` Disjunction[?U] `)`
+          `(` `?` `=` Disjunction[?U, ?N] `)`
+          `(` `?` `!` Disjunction[?U, ?N] `)`
 
         Quantifier ::
           QuantifierPrefix
@@ -29132,8 +29132,8 @@ <h2>Syntax</h2>
           PatternCharacter
           `.`
           `\` AtomEscape[?U, ?N]
-          CharacterClass[?U, ?N]
-          `(` GroupSpecifier Disjunction[?U, ?N] `)`
+          CharacterClass[?U]
+          `(` GroupSpecifier[?U] Disjunction[?U, ?N] `)`
           `(` `?` `:` Disjunction[?U, ?N] `)`
 
         SyntaxCharacter :: one of
@@ -39395,7 +39395,7 @@ <h2>Syntax</h2>
           [+U] Assertion[+U, ?N]
           [+U] Atom[+U, ?N]
           [+U] Atom[+U, ?N] Quantifier
-          [~U] QuantifiableAssertion Quantifier
+          [~U] QuantifiableAssertion[?N] Quantifier
           [~U] Assertion[~U, ?N]
           [~U] ExtendedAtom[?N] Quantifier
           [~U] ExtendedAtom[?N]
@@ -39407,7 +39407,7 @@ <h2>Syntax</h2>
           `\` `B`
           [+U] `(` `?` `=` Disjunction[+U, ?N] `)`
           [+U] `(` `?` `!` Disjunction[+U, ?N] `)`
-          [~U] QuantifiableAssertion[N]
+          [~U] QuantifiableAssertion[?N]
 
         QuantifiableAssertion[N] ::
           `(` `?` `=` Disjunction[~U, ?N] `)`
@@ -39417,7 +39417,7 @@ <h2>Syntax</h2>
           `.`
           `\` AtomEscape[~U, ?N]
           `\` [lookahead == `c`]
-          CharacterClass[~U, ?N]
+          CharacterClass[~U]
           `(` Disjunction[~U, ?N] `)`
           `(` `?` `:` Disjunction[~U, ?N] `)`
           InvalidBracedQuantifier
@@ -39436,7 +39436,7 @@ <h2>Syntax</h2>
           [~U] DecimalEscape [> but only if the CapturingGroupNumber of |DecimalEscape| is &lt;= _NcapturingParens_]
           CharacterClassEscape
           CharacterEscape[~U, ?N]
-          [+N] `k` GroupName
+          [+N] `k` GroupName[?U]
 
         CharacterEscape[U, N] ::
           ControlEscape