diff --git a/spec.html b/spec.html
index 1d59758031..12f1528bae 100644
--- a/spec.html
+++ b/spec.html
@@ -27106,7 +27106,11 @@ <h1>Evaluate ( ): a Promise</h1>
             <emu-alg>
               1. Assert: This call to Evaluate is not happening at the same time as another call to Evaluate within the surrounding agent.
               1. Assert: _module_.[[Status]] is one of ~linked~, ~evaluating-async~, or ~evaluated~.
-              1. If _module_.[[Status]] is either ~evaluating-async~ or ~evaluated~, set _module_ to _module_.[[CycleRoot]].
+              1. If _module_.[[Status]] is either ~evaluating-async~ or ~evaluated~, then
+                1. If _module_.[[CycleRoot]] is not ~empty~, then
+                  1. Set _module_ to _module_.[[CycleRoot]].
+                1. Else,
+                  1. Assert: _module_.[[Status]] is ~evaluated~ and _module_.[[EvaluationError]] is a throw completion.
               1. If _module_.[[TopLevelCapability]] is not ~empty~, then
                 1. Return _module_.[[TopLevelCapability]].[[Promise]].
               1. Let _stack_ be a new empty List.