diff --git a/source b/source
index 0c938609654..cb3dcce1fee 100644
--- a/source
+++ b/source
@@ -88510,9 +88510,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>