address jmdyck comments

spec.html

@@ -3894,8 +3894,8 @@ <h1>Await</h1>
           1. Let _outerContext_ be the running execution context.
           1. NOTE: _outerContext_ is the execution context for the evaluation of the operation that had most previously resumed evaluation of _asyncContext_.
           1. Resume _outerContext_.
-          1. Assert: If control reaches here, _asyncContext_ is once again the running execution context.
-          1 Let _completion_ be the Completion Record with which _asyncContext_ was resumed.
+          1. Assert: If control reaches here, then _asyncContext_ is once again the running execution context.
+          1. Let _completion_ be the Completion Record with which _asyncContext_ was resumed.
         </emu-alg>
 
         <p>where all aliases in the above steps, with the exception of _completion_, are ephemeral and visible only in the steps pertaining to Await.</p>
@@ -43286,7 +43286,7 @@ <h1>
             1. Assert: If we return here, the generator either threw an exception or performed either an implicit or explicit return.
             1. Remove _genContext_ from the execution context stack and restore the execution context that is at the top of the execution context stack as the running execution context.
             1. Set _generator_.[[GeneratorState]] to ~completed~.
-            1. NOTE: once a generator enters the ~completed~ state it never leaves it and its associated execution context is never resumed. Any execution state associated with _generator_ can be discarded at this point.
+            1. NOTE: Once a generator enters the ~completed~ state it never leaves it and its associated execution context is never resumed. Any execution state associated with _generator_ can be discarded at this point.
             1. If _result_.[[Type]] is ~normal~, then
               1. Let _resultValue_ be CreateIterResultObject(*undefined*, *true*).
               1. Let _resultCompletion_ be NormalCompletion(_resultValue_).
@@ -43415,7 +43415,7 @@ <h1>
           1. Let _outerContext_ be the running execution context.
           1. NOTE: _outerContext_ is the execution context for the evaluation of the operation that had most previously resumed evaluation of _genContext_.
           1. Resume _outerContext_ passing NormalCompletion(_iterNextObj_).
-          1. Assert: If control reaches here, _genContext_ is once again the running execution context.
+          1. Assert: If control reaches here, then _genContext_ is once again the running execution context.
           1. Let _resumptionValue_ be the Completion Record with which _genContext_ was resumed.
           1. Return _resumptionValue_.
           1. NOTE: This returns to the evaluation of the |YieldExpression| that originally called this abstract operation.
@@ -43797,7 +43797,7 @@ <h1>
             1. Let _outerContext_ be the running execution context.
             1. NOTE: _outerContext_ is the execution context for the evaluation of the operation that had most previously resumed evaluation of _genContext_.
             1. Resume _outerContext_.
-            1. Assert: If control reaches here, _genContext_ is once again the running execution context.
+            1. Assert: If control reaches here, then _genContext_ is once again the running execution context.
             1. Let _resumptionValue_ be the Completion Record with which _genContext_ was resumed.
             1. Return AsyncGeneratorUnwrapYieldResumption(_resumptionValue_).
             1. NOTE: when the above step returns, it returns to the evaluation of the |YieldExpression| production that originally called this abstract operation.