Editorial: List the [[Construct]]-requires-[[Call]] invariant in the …

…list of invariants (tc39#2213)

spec.html

@@ -2740,7 +2740,7 @@ <h2>[[OwnPropertyKeys]] ( )</h2>
             The returned List must contain at least the keys of all non-configurable own properties that have previously been observed.
           </li>
           <li>
-            If the object is non-extensible, the returned List must contain only the keys of all own properties of the object that are observable using [[GetOwnProperty]].
+            If the target is non-extensible, the returned List must contain only the keys of all own properties of the target that are observable using [[GetOwnProperty]].
           </li>
         </ul>
         <h2>[[Call]] ( )</h2>
@@ -2754,6 +2754,9 @@ <h2>[[Construct]] ( )</h2>
           <li>
             The normal return type is Object.
           </li>
+          <li>
+            The target must also have a [[Call]] internal method.
+          </li>
         </ul>
       </emu-clause>