diff --git a/esmeta-ignore.json b/esmeta-ignore.json
index 02866dc0f3..ecd7dcb606 100644
--- a/esmeta-ignore.json
+++ b/esmeta-ignore.json
@@ -10,7 +10,6 @@
   "MakeMatchIndicesIndexPairArray",
   "Record[SourceTextModuleRecord].ExecuteModule",
   "Record[SourceTextModuleRecord].ResolveExport",
-  "SuperCall[0,0].Evaluation",
   "TypedArrayGetElement",
   "TypedArrayLength",
   "TypedArraySetElement",
diff --git a/spec.html b/spec.html
index 349e2c3083..188c12f782 100644
--- a/spec.html
+++ b/spec.html
@@ -10695,7 +10695,7 @@ <h1>Function Environment Records</h1>
                 [[NewTarget]]
               </td>
               <td>
-                an Object or *undefined*
+                a constructor or *undefined*
               </td>
               <td>
                 If this Environment Record was created by the [[Construct]] internal method, [[NewTarget]] is the value of the [[Construct]] _newTarget_ parameter. Otherwise, its value is *undefined*.
@@ -19494,7 +19494,7 @@ <h1>Runtime Semantics: Evaluation</h1>
         <emu-grammar>SuperCall : `super` Arguments</emu-grammar>
         <emu-alg>
           1. Let _newTarget_ be GetNewTarget().
-          1. Assert: _newTarget_ is an Object.
+          1. Assert: _newTarget_ is a constructor.
           1. Let _func_ be GetSuperConstructor().
           1. Let _argList_ be ? ArgumentListEvaluation of |Arguments|.
           1. If IsConstructor(_func_) is *false*, throw a *TypeError* exception.