diff --git a/spec.html b/spec.html
index a67bcdd95f..b02e8b366c 100644
--- a/spec.html
+++ b/spec.html
@@ -763,9 +763,9 @@ <h1>Syntax-Directed Operations</h1>
       <p>Syntax-directed operations are invoked with a parse node and, optionally, other parameters by using the conventions on steps 1, 3, and 4 in the following algorithm:</p>
       <emu-alg>
         1. Let _status_ be SyntaxDirectedOperation of |SomeNonTerminal|.
-        2. Let _someParseNode_ be the parse of some source text.
-        2. Perform SyntaxDirectedOperation of _someParseNode_.
-        2. Perform SyntaxDirectedOperation of _someParseNode_ passing *"value"* as the argument.
+        1. Let _someParseNode_ be the parse of some source text.
+        1. Perform SyntaxDirectedOperation of _someParseNode_.
+        1. Perform SyntaxDirectedOperation of _someParseNode_ passing *"value"* as the argument.
       </emu-alg>
       <p>Unless explicitly specified otherwise, all chain productions have an implicit definition for every operation that might be applied to that production's left-hand side nonterminal. The implicit definition simply reapplies the same operation with the same parameters, if any, to the chain production's sole right-hand side nonterminal and then returns the result. For example, assume that some algorithm has a step of the form: &ldquo;Return the result of evaluating |Block|&rdquo; and that there is a production:</p>
       <emu-grammar type="example">
@@ -21468,7 +21468,7 @@ <h1>Static Semantics: HasDirectSuper</h1>
       </emu-grammar>
       <emu-alg>
         1. If |UniqueFormalParameters| Contains |SuperCall| is *true*, return *true*.
-        2. Return |AsyncFunctionBody| Contains |SuperCall|.
+        1. Return |AsyncFunctionBody| Contains |SuperCall|.
       </emu-alg>
     </emu-clause>
 
@@ -21733,9 +21733,9 @@ <h1>Static Semantics: Contains</h1>
       </emu-grammar>
       <emu-alg>
         1. If _symbol_ is not one of |NewTarget|, |SuperProperty|, |SuperCall|, `super`, or `this`, return *false*.
-        2. Let _head_ be CoveredAsyncArrowHead of |CoverCallExpressionAndAsyncArrowHead|.
-        3. If _head_ Contains _symbol_ is *true*, return *true*.
-        4. Return |AsyncConciseBody| Contains _symbol_.
+        1. Let _head_ be CoveredAsyncArrowHead of |CoverCallExpressionAndAsyncArrowHead|.
+        1. If _head_ Contains _symbol_ is *true*, return *true*.
+        1. Return |AsyncConciseBody| Contains _symbol_.
       </emu-alg>
       <emu-note>Normally, Contains does not look inside most function forms. However, Contains is used to detect `new.target`, `this`, and `super` usage within an AsyncArrowFunction.</emu-note>
     </emu-clause>
@@ -40637,8 +40637,8 @@ <h1>AsyncFunction ( _p1_, _p2_, &hellip; , _pn_, _body_ )</h1>
 
         <emu-alg>
           1. Let _C_ be the active function object.
-          2. Let _args_ be the _argumentsList_ that was passed to this function by [[Call]] or [[Construct]].
-          3. Return CreateDynamicFunction(_C_, NewTarget, ~async~, _args_).
+          1. Let _args_ be the _argumentsList_ that was passed to this function by [[Call]] or [[Construct]].
+          1. Return CreateDynamicFunction(_C_, NewTarget, ~async~, _args_).
         </emu-alg>
 
         <emu-note>See NOTE for <emu-xref href="#sec-function-p1-p2-pn-body"></emu-xref>.</emu-note>