diff --git a/spec.html b/spec.html
index 7259e380d2..8f6f921813 100644
--- a/spec.html
+++ b/spec.html
@@ -27706,7 +27706,7 @@ <h1>
           <h1>
             GetExportedNames (
               optional _exportStarSet_: a List of Source Text Module Records,
-            ): a List of either Strings or *null*
+            ): a List of Strings
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -27722,9 +27722,11 @@ <h1>
             1. Let _exportedNames_ be a new empty List.
             1. For each ExportEntry Record _e_ of _module_.[[LocalExportEntries]], do
               1. Assert: _module_ provides the direct binding for this export.
+              1. Assert: _e_.[[ExportName]] is not *null*.
               1. Append _e_.[[ExportName]] to _exportedNames_.
             1. For each ExportEntry Record _e_ of _module_.[[IndirectExportEntries]], do
               1. Assert: _module_ imports a specific binding for this export.
+              1. Assert: _e_.[[ExportName]] is not *null*.
               1. Append _e_.[[ExportName]] to _exportedNames_.
             1. For each ExportEntry Record _e_ of _module_.[[StarExportEntries]], do
               1. Let _requestedModule_ be GetImportedModule(_module_, _e_.[[ModuleRequest]]).