diff --git a/esmeta-ignore.json b/esmeta-ignore.json
index ecd7dcb606..ce41006ac1 100644
--- a/esmeta-ignore.json
+++ b/esmeta-ignore.json
@@ -9,7 +9,6 @@
   "INTRINSICS.Atomics.notify",
   "MakeMatchIndicesIndexPairArray",
   "Record[SourceTextModuleRecord].ExecuteModule",
-  "Record[SourceTextModuleRecord].ResolveExport",
   "TypedArrayGetElement",
   "TypedArrayLength",
   "TypedArraySetElement",
diff --git a/spec.html b/spec.html
index 188c12f782..f16240e64f 100644
--- a/spec.html
+++ b/spec.html
@@ -28251,6 +28251,7 @@ <h1>
                   1. Return ResolvedBinding Record { [[Module]]: _importedModule_, [[BindingName]]: ~namespace~ }.
                 1. Else,
                   1. Assert: _module_ imports a specific binding for this export.
+                  1. Assert: _e_.[[ImportName]] is a String.
                   1. Return _importedModule_.ResolveExport(_e_.[[ImportName]], _resolveSet_).
             1. If _exportName_ is *"default"*, then
               1. Assert: A `default` export was not explicitly defined by this module.