diff --git a/spec.html b/spec.html
index facab4ed30..c8b06a62a1 100644
--- a/spec.html
+++ b/spec.html
@@ -20310,12 +20310,12 @@ <h1>Runtime Semantics: IteratorBindingInitialization</h1>
       </emu-grammar>
       <emu-alg>
         1. Assert: _iteratorRecord_.[[Done]] is *false*.
-        1. Let _next_ be ? IteratorStep(_iteratorRecord_).
+        1. Let _next_ be IteratorStep(_iteratorRecord_).
         1. If _next_ is an abrupt completion, set _iteratorRecord_.[[Done]] to *true*.
         1. ReturnIfAbrupt(_next_).
         1. If _next_ is *false*, set _iteratorRecord_.[[Done]] to *true*.
         1. Else,
-          1. Let _v_ be ? IteratorValue(_next_).
+          1. Let _v_ be IteratorValue(_next_).
           1. If _v_ is an abrupt completion, set _iteratorRecord_.[[Done]] to *true*.
           1. ReturnIfAbrupt(_v_).
         1. If _iteratorRecord_.[[Done]] is *true*, let _v_ be *undefined*.
@@ -34024,7 +34024,7 @@ <h1>Set ( [ _iterable_ ] )</h1>
             1. Let _next_ be ? IteratorStep(_iteratorRecord_).
             1. If _next_ is *false*, return _set_.
             1. Let _nextValue_ be ? IteratorValue(_next_).
-            1. Let _status_ be Call(_adder_, _set_, &laquo; _nextValue_.[[Value]] &raquo;).
+            1. Let _status_ be Call(_adder_, _set_, &laquo; _nextValue_ &raquo;).
             1. If _status_ is an abrupt completion, return ? IteratorClose(_iteratorRecord_, _status_).
         </emu-alg>
       </emu-clause>