diff --git a/source b/source
index b39c63d8394..98217028f8c 100644
--- a/source
+++ b/source
@@ -88495,9 +88495,7 @@ import "https://example.com/foo/../module2.js";</pre>
    data-x="concept-module-script-instantiation-error">instantiation error</span>.</p></li>
 
    <li><p>Assert: <var>resolved module script</var>'s <span
-   data-x="concept-module-script-instantiation-state">instantiation state</span> is "<code
-   data-x="">instantiated</code>" (and thus its <span
-   data-x="concept-module-script-module-record">module record</span> is not null).</p></li>
+   data-x="concept-module-script-module-record">module record</span> is not null.</p></li>
 
    <li><p>Return <var>resolved module script</var>'s <span
    data-x="concept-module-script-module-record">module record</span>.</p></li>