diff --git a/spec.html b/spec.html
index 03b402a7f9f..984d4720140 100644
--- a/spec.html
+++ b/spec.html
@@ -10901,7 +10901,7 @@ <h2>Syntax</h2>
 
       LineTerminatorSequence ::
         &lt;LF&gt;
-        &lt;CR&gt; [lookahead != &lt;LF&gt; ]
+        &lt;CR&gt; [lookahead != &lt;LF&gt;]
         &lt;LS&gt;
         &lt;PS&gt;
         &lt;CR&gt; &lt;LF&gt;
@@ -11876,7 +11876,7 @@ <h2>Syntax</h2>
           TemplateCharacter TemplateCharacters?
 
         TemplateCharacter ::
-          `$` [lookahead != `{` ]
+          `$` [lookahead != `{`]
           `\` EscapeSequence
           `\` NotEscapeSequence
           LineContinuation
@@ -11897,10 +11897,10 @@ <h2>Syntax</h2>
           `u` `{` CodePoint [lookahead &lt;! HexDigit] [lookahead != `}`]
 
         NotCodePoint ::
-          HexDigits [> but only if MV of |HexDigits| &gt; 0x10FFFF ]
+          HexDigits [> but only if MV of |HexDigits| &gt; 0x10FFFF]
 
         CodePoint ::
-          HexDigits [> but only if MV of |HexDigits| &le; 0x10FFFF ]
+          HexDigits [> but only if MV of |HexDigits| &le; 0x10FFFF]
       </emu-grammar>
       <p>A conforming implementation must not use the extended definition of |EscapeSequence| described in <emu-xref href="#sec-additional-syntax-string-literals"></emu-xref> when parsing a |TemplateCharacter|.</p>
       <emu-note>
@@ -12089,7 +12089,7 @@ <h1>Static Semantics: TV and TRV</h1>
             The TRV of <emu-grammar>LineTerminatorSequence :: &lt;PS&gt;</emu-grammar> is the code unit 0x2029 (PARAGRAPH SEPARATOR).
           </li>
           <li>
-            The TRV of <emu-grammar>LineTerminatorSequence :: &lt;CR&gt;&lt;LF&gt;</emu-grammar> is the sequence consisting of the code unit 0x000A (LINE FEED).
+            The TRV of <emu-grammar>LineTerminatorSequence :: &lt;CR&gt; &lt;LF&gt;</emu-grammar> is the sequence consisting of the code unit 0x000A (LINE FEED).
           </li>
         </ul>
         <emu-note>
@@ -13530,7 +13530,7 @@ <h2>Syntax</h2>
         `?.` IdentifierName
         `?.` TemplateLiteral[?Yield, ?Await, +Tagged]
         OptionalChain[?Yield, ?Await] Arguments[?Yield, ?Await]
-        OptionalChain[?Yield, ?Await]  `[` Expression[+In, ?Yield, ?Await] `]`
+        OptionalChain[?Yield, ?Await] `[` Expression[+In, ?Yield, ?Await] `]`
         OptionalChain[?Yield, ?Await] `.` IdentifierName
         OptionalChain[?Yield, ?Await] TemplateLiteral[?Yield, ?Await, +Tagged]
 
@@ -17310,10 +17310,10 @@ <h2>Syntax</h2>
         `for` `(` [lookahead != `let` `[`] LeftHandSideExpression[?Yield, ?Await] `in` Expression[+In, ?Yield, ?Await] `)` Statement[?Yield, ?Await, ?Return]
         `for` `(` `var` ForBinding[?Yield, ?Await] `in` Expression[+In, ?Yield, ?Await] `)` Statement[?Yield, ?Await, ?Return]
         `for` `(` ForDeclaration[?Yield, ?Await] `in` Expression[+In, ?Yield, ?Await] `)` Statement[?Yield, ?Await, ?Return]
-        `for` `(` [lookahead != `let` ] LeftHandSideExpression[?Yield, ?Await] `of` AssignmentExpression[+In, ?Yield, ?Await] `)` Statement[?Yield, ?Await, ?Return]
+        `for` `(` [lookahead != `let`] LeftHandSideExpression[?Yield, ?Await] `of` AssignmentExpression[+In, ?Yield, ?Await] `)` Statement[?Yield, ?Await, ?Return]
         `for` `(` `var` ForBinding[?Yield, ?Await] `of` AssignmentExpression[+In, ?Yield, ?Await] `)` Statement[?Yield, ?Await, ?Return]
         `for` `(` ForDeclaration[?Yield, ?Await] `of` AssignmentExpression[+In, ?Yield, ?Await] `)` Statement[?Yield, ?Await, ?Return]
-        [+Await] `for` `await` `(` [lookahead != `let` ] LeftHandSideExpression[?Yield, ?Await] `of` AssignmentExpression[+In, ?Yield, ?Await] `)` Statement[?Yield, ?Await, ?Return]
+        [+Await] `for` `await` `(` [lookahead != `let`] LeftHandSideExpression[?Yield, ?Await] `of` AssignmentExpression[+In, ?Yield, ?Await] `)` Statement[?Yield, ?Await, ?Return]
         [+Await] `for` `await` `(` `var` ForBinding[?Yield, ?Await] `of` AssignmentExpression[+In, ?Yield, ?Await] `)` Statement[?Yield, ?Await, ?Return]
         [+Await] `for` `await` `(` ForDeclaration[?Yield, ?Await] `of` AssignmentExpression[+In, ?Yield, ?Await] `)` Statement[?Yield, ?Await, ?Return]
 
@@ -17764,7 +17764,6 @@ <h1>Static Semantics: ContainsDuplicateLabels</h1>
             `for` `await` `(` LeftHandSideExpression `of` AssignmentExpression `)` Statement
             `for` `await` `(` `var` ForBinding `of` AssignmentExpression `)` Statement
             `for` `await` `(` ForDeclaration `of` AssignmentExpression `)` Statement
-
         </emu-grammar>
         <emu-alg>
           1. Return ContainsDuplicateLabels of |Statement| with argument _labelSet_.
@@ -19917,7 +19916,7 @@ <h2>Syntax</h2>
         CoverParenthesizedExpressionAndArrowParameterList[?Yield, ?Await] #parencover
 
       ConciseBody[In] :
-        [lookahead != `{` ] ExpressionBody[?In, ~Await]
+        [lookahead != `{`] ExpressionBody[?In, ~Await]
         `{` FunctionBody[~Yield, ~Await] `}`
 
       ExpressionBody[In, Await] :
@@ -24481,7 +24480,7 @@ <h1>Static Semantics: ExportedNames</h1>
         <emu-alg>
           1. Return a new empty List.
         </emu-alg>
-        <emu-grammar>ExportFromClause : `*` `as` IdentifierName </emu-grammar>
+        <emu-grammar>ExportFromClause : `*` `as` IdentifierName</emu-grammar>
         <emu-alg>
           1. Return a List containing the StringValue of |IdentifierName|.
         </emu-alg>