diff --git a/spec.html b/spec.html
index 2562f70c6f..23857ed25e 100644
--- a/spec.html
+++ b/spec.html
@@ -16858,14 +16858,6 @@ <h1>Runtime Semantics: IteratorBindingInitialization</h1>
             1. Perform ? IteratorDestructuringAssignmentEvaluation of |Elision| with _iteratorRecord_ as the argument.
           1. Return the result of performing IteratorBindingInitialization for |BindingRestElement| with _iteratorRecord_ and _environment_ as arguments.
         </emu-alg>
-        <emu-grammar>ArrayBindingPattern : `[` BindingElementList `]`</emu-grammar>
-        <emu-alg>
-          1. Return the result of performing IteratorBindingInitialization for |BindingElementList| with _iteratorRecord_ and _environment_ as arguments.
-        </emu-alg>
-        <emu-grammar>ArrayBindingPattern : `[` BindingElementList `,` `]`</emu-grammar>
-        <emu-alg>
-          1. Return the result of performing IteratorBindingInitialization for |BindingElementList| with _iteratorRecord_ and _environment_ as arguments.
-        </emu-alg>
         <emu-grammar>ArrayBindingPattern : `[` BindingElementList `,` Elision `]`</emu-grammar>
         <emu-alg>
           1. Perform ? IteratorBindingInitialization for |BindingElementList| with _iteratorRecord_ and _environment_ as arguments.
@@ -16878,28 +16870,16 @@ <h1>Runtime Semantics: IteratorBindingInitialization</h1>
             1. Perform ? IteratorDestructuringAssignmentEvaluation of |Elision| with _iteratorRecord_ as the argument.
           1. Return the result of performing IteratorBindingInitialization for |BindingRestElement| with _iteratorRecord_ and _environment_ as arguments.
         </emu-alg>
-        <emu-grammar>BindingElementList : BindingElisionElement</emu-grammar>
-        <emu-alg>
-          1. Return the result of performing IteratorBindingInitialization for |BindingElisionElement| with _iteratorRecord_ and _environment_ as arguments.
-        </emu-alg>
         <emu-grammar>BindingElementList : BindingElementList `,` BindingElisionElement</emu-grammar>
         <emu-alg>
           1. Perform ? IteratorBindingInitialization for |BindingElementList| with _iteratorRecord_ and _environment_ as arguments.
           1. Return the result of performing IteratorBindingInitialization for |BindingElisionElement| using _iteratorRecord_ and _environment_ as arguments.
         </emu-alg>
-        <emu-grammar>BindingElisionElement : BindingElement</emu-grammar>
-        <emu-alg>
-          1. Return the result of performing IteratorBindingInitialization of |BindingElement| with _iteratorRecord_ and _environment_ as the arguments.
-        </emu-alg>
         <emu-grammar>BindingElisionElement : Elision BindingElement</emu-grammar>
         <emu-alg>
           1. Perform ? IteratorDestructuringAssignmentEvaluation of |Elision| with _iteratorRecord_ as the argument.
           1. Return the result of performing IteratorBindingInitialization of |BindingElement| with _iteratorRecord_ and _environment_ as the arguments.
         </emu-alg>
-        <emu-grammar>BindingElement : SingleNameBinding</emu-grammar>
-        <emu-alg>
-          1. Return the result of performing IteratorBindingInitialization for |SingleNameBinding| with _iteratorRecord_ and _environment_ as the arguments.
-        </emu-alg>
         <emu-grammar>SingleNameBinding : BindingIdentifier Initializer?</emu-grammar>
         <emu-alg>
           1. Let _bindingId_ be StringValue of |BindingIdentifier|.
@@ -19716,14 +19696,6 @@ <h1>Runtime Semantics: IteratorBindingInitialization</h1>
         1. Perform ? IteratorBindingInitialization for |FormalParameterList| using _iteratorRecord_ and _environment_ as the arguments.
         1. Return the result of performing IteratorBindingInitialization for |FormalParameter| using _iteratorRecord_ and _environment_ as the arguments.
       </emu-alg>
-      <emu-grammar>FormalParameter : BindingElement</emu-grammar>
-      <emu-alg>
-        1. Return the result of performing IteratorBindingInitialization for |BindingElement| with arguments _iteratorRecord_ and _environment_.
-      </emu-alg>
-      <emu-grammar>FunctionRestParameter : BindingRestElement</emu-grammar>
-      <emu-alg>
-        1. Return the result of performing IteratorBindingInitialization for |BindingRestElement| with arguments _iteratorRecord_ and _environment_.
-      </emu-alg>
     </emu-clause>
 
     <emu-clause id="sec-function-definitions-runtime-semantics-instantiatefunctionobject">