diff --git a/spec.html b/spec.html
index d957740e9c9..3ebd28d0aba 100644
--- a/spec.html
+++ b/spec.html
@@ -25313,7 +25313,7 @@ <h1>Cyclic Module Records</h1>
                   ~unlinked~ | ~linking~ | ~linked~ | ~evaluating~ | ~evaluating-async~ | ~evaluated~
                 </td>
                 <td>
-                  Initially ~unlinked~. Transitions to ~linking~, ~linked~, ~evaluating~, possibly ~evaluating-async~, ~evaluated~ (in that order) as the module progresses throughout its lifecycle. ~evaluating-async~ indicates this module is queued to execute on completion of its async dependencies or it is an async module that has been executed and is pending top-level completion.
+                  Initially ~unlinked~. Transitions to ~linking~, ~linked~, ~evaluating~, possibly ~evaluating-async~, ~evaluated~ (in that order) as the module progresses throughout its lifecycle. ~evaluating-async~ indicates this module is queued to execute on completion of its async dependencies or it is a module whose [[HasTLA]] field is *true* that has been executed and is pending top-level completion.
                 </td>
               </tr>
               <tr>
@@ -25379,7 +25379,7 @@ <h1>Cyclic Module Records</h1>
                   Boolean
                 </td>
                 <td>
-                  Whether this module is individually asynchronous (for example, if it's a Source Text Module Record containing a top-level await). Having an asynchronous dependency does not make the module asynchronous. This field must not change after the module is parsed.
+                  Whether this module is individually asynchronous (for example, if it's a Source Text Module Record containing a top-level await). Having an asynchronous dependency does not mean this field is *true*. This field must not change after the module is parsed.
                 </td>
               </tr>
               <tr>
@@ -25641,7 +25641,7 @@ <h1>
               1. Return _index_.
             </emu-alg>
             <emu-note>
-              <p>A module is ~evaluating~ while it is being traversed by InnerModuleEvaluation. A module is ~evaluated~ on execution completion or ~evaluating-async~ during execution if it is an asynchronous module.</p>
+              <p>A module is ~evaluating~ while it is being traversed by InnerModuleEvaluation. A module is ~evaluated~ on execution completion or ~evaluating-async~ during execution if its [[HasTLA]] field is *true* or if it has asynchronous dependencies.</p>
             </emu-note>
             <emu-note>
               <p>Any modules depending on a module of an async cycle when that cycle is not ~evaluating~ will instead depend on the execution of the root of the cycle via [[CycleRoot]]. This ensures that the cycle state can be treated as a single strongly connected component through its root module state.</p>