diff --git a/spec.html b/spec.html
index 1d2f93caad..dd16c1b262 100644
--- a/spec.html
+++ b/spec.html
@@ -13412,7 +13412,7 @@ <h1>
           1. Else,
             1. Let _rhs_ be ? Evaluation of |AssignmentExpression|.
             1. Let _value_ be ? GetValue(_rhs_).
-          1. Return ReturnCompletion(_value_).
+          1. Return ? ReturnCompletion(_value_).
         </emu-alg>
         <emu-note>
           <p>Even though field initializers constitute a function boundary, calling FunctionDeclarationInstantiation does not have any observable effect and so is omitted.</p>
@@ -22561,14 +22561,14 @@ <h2>Syntax</h2>
       <h1>Runtime Semantics: Evaluation</h1>
       <emu-grammar>ReturnStatement : `return` `;`</emu-grammar>
       <emu-alg>
-        1. Return ReturnCompletion(*undefined*).
+        1. Return ? ReturnCompletion(*undefined*).
       </emu-alg>
       <emu-grammar>ReturnStatement : `return` Expression `;`</emu-grammar>
       <emu-alg>
         1. Let _exprRef_ be ? Evaluation of |Expression|.
         1. Let _exprValue_ be ? GetValue(_exprRef_).
         1. If GetGeneratorKind() is ~async~, set _exprValue_ to ? Await(_exprValue_).
-        1. Return ReturnCompletion(_exprValue_).
+        1. Return ? ReturnCompletion(_exprValue_).
       </emu-alg>
     </emu-clause>
   </emu-clause>
@@ -23670,7 +23670,7 @@ <h1>Runtime Semantics: Evaluation</h1>
       <emu-alg>
         1. Let _exprRef_ be ? Evaluation of |AssignmentExpression|.
         1. Let _exprValue_ be ? GetValue(_exprRef_).
-        1. Return ReturnCompletion(_exprValue_).
+        1. Return ? ReturnCompletion(_exprValue_).
       </emu-alg>
     </emu-clause>
   </emu-clause>
@@ -23995,7 +23995,7 @@ <h1>
         1. Set _G_.[[GeneratorBrand]] to ~empty~.
         1. Set _G_.[[GeneratorState]] to ~suspended-start~.
         1. Perform GeneratorStart(_G_, |FunctionBody|).
-        1. Return ReturnCompletion(_G_).
+        1. Return ? ReturnCompletion(_G_).
       </emu-alg>
     </emu-clause>
 
@@ -24135,14 +24135,14 @@ <h1>Runtime Semantics: Evaluation</h1>
               1. Set _value_ to _received_.[[Value]].
               1. If _generatorKind_ is ~async~, then
                 1. Set _value_ to ? Await(_value_).
-              1. Return ReturnCompletion(_value_).
+              1. Return ? ReturnCompletion(_value_).
             1. Let _innerReturnResult_ be ? Call(_return_, _iterator_, « _received_.[[Value]] »).
             1. If _generatorKind_ is ~async~, set _innerReturnResult_ to ? Await(_innerReturnResult_).
             1. If _innerReturnResult_ is not an Object, throw a *TypeError* exception.
             1. Let _done_ be ? IteratorComplete(_innerReturnResult_).
             1. If _done_ is *true*, then
               1. Set _value_ to ? IteratorValue(_innerReturnResult_).
-              1. Return ReturnCompletion(_value_).
+              1. Return ? ReturnCompletion(_value_).
             1. If _generatorKind_ is ~async~, set _received_ to Completion(AsyncGeneratorYield(? IteratorValue(_innerReturnResult_))).
             1. Else, set _received_ to Completion(GeneratorYield(_innerReturnResult_)).
       </emu-alg>
@@ -24223,7 +24223,7 @@ <h1>
         1. Set _generator_.[[GeneratorBrand]] to ~empty~.
         1. Set _generator_.[[AsyncGeneratorState]] to ~suspended-start~.
         1. Perform AsyncGeneratorStart(_generator_, |FunctionBody|).
-        1. Return ReturnCompletion(_generator_).
+        1. Return ? ReturnCompletion(_generator_).
       </emu-alg>
     </emu-clause>
 
@@ -25239,7 +25239,7 @@ <h1>
           1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, « _completion_.[[Value]] »).
         1. Else,
           1. Perform AsyncFunctionStart(_promiseCapability_, |FunctionBody|).
-        1. Return ReturnCompletion(_promiseCapability_.[[Promise]]).
+        1. Return ? ReturnCompletion(_promiseCapability_.[[Promise]]).
       </emu-alg>
     </emu-clause>
 
@@ -25346,7 +25346,7 @@ <h1>
           1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, « _completion_.[[Value]] »).
         1. Else,
           1. Perform AsyncFunctionStart(_promiseCapability_, |ExpressionBody|).
-        1. Return ReturnCompletion(_promiseCapability_.[[Promise]]).
+        1. Return ? ReturnCompletion(_promiseCapability_.[[Promise]]).
       </emu-alg>
     </emu-clause>
 
@@ -48597,7 +48597,7 @@ <h1>
           1. Let _awaited_ be Completion(Await(_resumptionValue_.[[Value]])).
           1. If _awaited_ is a throw completion, return ? _awaited_.
           1. Assert: _awaited_ is a normal completion.
-          1. Return ReturnCompletion(_awaited_.[[Value]]).
+          1. Return ? ReturnCompletion(_awaited_.[[Value]]).
         </emu-alg>
       </emu-clause>