diff --git a/spec.html b/spec.html
index 2b832720c39..c5e3e8b5b94 100644
--- a/spec.html
+++ b/spec.html
@@ -34078,8 +34078,7 @@
Patterns
`\` AtomEscape[?UnicodeMode, ?N]
[~UnicodeMode] `\` [lookahead == `c`]
CharacterClass[?UnicodeMode]
- [+UnicodeMode] `(` GroupSpecifier[?UnicodeMode] Disjunction[?UnicodeMode, ?N] `)`
- [~UnicodeMode] `(` Disjunction[?UnicodeMode, ?N] `)`
+ `(` GroupSpecifier[?UnicodeMode] Disjunction[?UnicodeMode, ?N] `)`
`(` `?` `:` Disjunction[?UnicodeMode, ?N] `)`
[~UnicodeMode] InvalidBracedQuantifier
[+UnicodeMode] PatternCharacter
@@ -34104,7 +34103,7 @@ Group Specifiers
GroupSpecifier[UnicodeMode] ::
[empty]
- `?` GroupName[?UnicodeMode]
+ [+UnicodeMode] `?` GroupName[?UnicodeMode]
GroupName[UnicodeMode] ::
`<` RegExpIdentifierName[?UnicodeMode] `>`
@@ -34829,8 +34828,6 @@ Term
1. Assert: _c_ is a Continuation.
1. Return ! RepeatMatcher(_m_, _min_, _max_, _greedy_, _x_, _c_, _parenIndex_, _parenCount_).
- ----
- In the above algorithm, references to Atom ::! `(` GroupSpecifier Disjunction `)` are to be interpreted as meaning Atom ::! `(` GroupSpecifier Disjunction `)` or Atom ::! `(` Disjunction `)` .
The production Term ::! QuantifiableAssertion Quantifier evaluates the same as the production Term ::! Atom Quantifier but with |QuantifiableAssertion| substituted for |Atom|.