address comments

spec.html

@@ -35986,7 +35986,7 @@ <h1>Static Semantics: Early Errors</h1>
             It is a Syntax Error if CountLeftCapturingParensWithin(|Pattern|) ≥ 2<sup>32</sup> - 1.
           </li>
           <li>
-            It is a Syntax Error if |Pattern| contains two distinct |GroupSpecifier|s _x_ and _y_ for which CapturingGroupName(_x_) is the same as CapturingGroupName(_y_) and such that CanBothParticipate(_x_, _y_) is *true*.
+            It is a Syntax Error if |Pattern| contains two distinct |GroupSpecifier|s _x_ and _y_ such that the CapturingGroupName of _x_ is the CapturingGroupName of _y_ and such that CanBothParticipate(_x_, _y_) is *true*.
           </li>
         </ul>
         <emu-grammar>QuantifierPrefix :: `{` DecimalDigits `,` DecimalDigits `}`</emu-grammar>
@@ -36132,7 +36132,7 @@ <h1>
         </emu-alg>
       </emu-clause>
 
-      <emu-clause id="sec-patterns-static-semantics-can-both-participate" type="abstract operation">
+      <emu-clause id="sec-canbothparticipate" type="abstract operation">
         <h1>
           Static Semantics: CanBothParticipate (
             _x_: a Parse Node,