diff --git a/spec.html b/spec.html
index dc6a6d4330..0209fbc2b5 100644
--- a/spec.html
+++ b/spec.html
@@ -5972,7 +5972,7 @@ <h1>
         <dd>It returns a completion record which, if its [[Type]] is ~normal~, has a [[Value]] which is a Boolean. It is used to determine whether additional properties can be added to _O_.</dd>
       </dl>
       <emu-alg>
-        1. Return ? _O_.[[IsExtensible]]().
+        1. Return ? <emu-meta effects="user-code">_O_.[[IsExtensible]]()</emu-meta>.
       </emu-alg>
     </emu-clause>
 
@@ -45427,7 +45427,7 @@ <h1>Reflect.getPrototypeOf ( _target_ )</h1>
       <p>When the `getPrototypeOf` function is called with argument _target_, the following steps are taken:</p>
       <emu-alg>
         1. If Type(_target_) is not Object, throw a *TypeError* exception.
-        1. Return ? _target_.[[GetPrototypeOf]]().
+        1. Return ? <emu-meta effects="user-code">_target_.[[GetPrototypeOf]]()</emu-meta>.
       </emu-alg>
     </emu-clause>
 
@@ -45446,7 +45446,7 @@ <h1>Reflect.isExtensible ( _target_ )</h1>
       <p>When the `isExtensible` function is called with argument _target_, the following steps are taken:</p>
       <emu-alg>
         1. If Type(_target_) is not Object, throw a *TypeError* exception.
-        1. Return ? _target_.[[IsExtensible]]().
+        1. Return ? <emu-meta effects="user-code">_target_.[[IsExtensible]]()</emu-meta>.
       </emu-alg>
     </emu-clause>
 
@@ -45455,7 +45455,7 @@ <h1>Reflect.ownKeys ( _target_ )</h1>
       <p>When the `ownKeys` function is called with argument _target_, the following steps are taken:</p>
       <emu-alg>
         1. If Type(_target_) is not Object, throw a *TypeError* exception.
-        1. Let _keys_ be ? _target_.[[OwnPropertyKeys]]().
+        1. Let _keys_ be ? <emu-meta effects="user-code">_target_.[[OwnPropertyKeys]]()</emu-meta>.
         1. Return CreateArrayFromList(_keys_).
       </emu-alg>
     </emu-clause>
@@ -45465,7 +45465,7 @@ <h1>Reflect.preventExtensions ( _target_ )</h1>
       <p>When the `preventExtensions` function is called with argument _target_, the following steps are taken:</p>
       <emu-alg>
         1. If Type(_target_) is not Object, throw a *TypeError* exception.
-        1. Return ? _target_.[[PreventExtensions]]().
+        1. Return ? <emu-meta effects="user-code">_target_.[[PreventExtensions]]()</emu-meta>.
       </emu-alg>
     </emu-clause>