diff --git a/spec.html b/spec.html
index fbedbfd6b4..51a0802a9e 100644
--- a/spec.html
+++ b/spec.html
@@ -34293,8 +34293,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
@@ -34319,7 +34318,7 @@ Group Specifiers
GroupSpecifier[UnicodeMode] ::
[empty]
- `?` GroupName[?UnicodeMode]
+ [+UnicodeMode] `?` GroupName[?UnicodeMode]
GroupName[UnicodeMode] ::
`<` RegExpIdentifierName[?UnicodeMode] `>`
@@ -35097,8 +35096,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|.