diff --git a/spec.html b/spec.html
index 71665e5de5..c7223f235d 100644
--- a/spec.html
+++ b/spec.html
@@ -23208,7 +23208,7 @@ <h1>AsyncModuleExecutionFulfilled ( _module_ )</h1>
                   1. Perform ! ExecuteAsyncModule(_m_).
                 1. Otherwise:
                   1. Let _result_ be _m_.ExecuteModule().
-                  1. If _result_ is an abrupt completion:
+                  1. If _result_ is an abrupt completion, then
                     1. Perform ! AsyncModuleExecutionRejected(_m_, _result_.[[Value]]).
                   1. Otherwise:
                     1. Set _m_.[[AsyncEvaluating]] to *false*.
@@ -23223,7 +23223,7 @@ <h1>AsyncModuleExecutionFulfilled ( _module_ )</h1>
             <h1>AsyncModuleExecutionRejected ( _module_, _error_ )</h1>
             <emu-alg>
               1. Assert: _module_.[[Status]] is ~evaluated~.
-              1. If _module_.[[AsyncEvaluating]] is *false*:
+              1. If _module_.[[AsyncEvaluating]] is *false*, then
                 1. Assert: _module_.[[EvaluationError]] is not ~empty~.
                 1. Return *undefined*.
               1. Assert: _module_.[[EvaluationError]] is ~empty~.