diff --git a/spec.emu b/spec.emu
index 3f8cd04..8416df1 100644
--- a/spec.emu
+++ b/spec.emu
@@ -73,11 +73,12 @@ contributors: Nicolò Ribaudo
         <emu-alg>
           1. If _P_ is a Symbol, then
             1. Return ! OrdinaryGet(_O_, _P_, _Receiver_).
-          1. Let _m_ be _O_.[[Module]].
+          1. <ins>Let _m_ be _O_.[[Module]].</ins>
           1. <ins>If _m_ is not a Cyclic Module Record, or both _m_.[[Status]] is ~linked~ and AnyDependencyNeedsAsyncEvaluation(_m_) is *false*, then</ins>
             1. <ins>Perform ? EvaluateSync(_m_).</ins>
           1. Let _exports_ be _O_.[[Exports]].
           1. If _exports_ does not contain _P_, return *undefined*.
+          1. <del>Let _m_ be _O_.[[Module]].</del>
           1. Let _binding_ be _m_.ResolveExport(_P_).
           1. Assert: _binding_ is a ResolvedBinding Record.
           1. Let _targetModule_ be _binding_.[[Module]].