diff --git a/spec.html b/spec.html
index 2e50b19d09..01f04bd60a 100644
--- a/spec.html
+++ b/spec.html
@@ -12660,8 +12660,8 @@ <h1>
           1. If _Desc_ does not have any fields, return *true*.
           1. If _current_.[[Configurable]] is *false*, then
             1. If _Desc_ has a [[Configurable]] field and _Desc_.[[Configurable]] is *true*, return *false*.
-            1. If _Desc_ has an [[Enumerable]] field and SameValue(_Desc_.[[Enumerable]], _current_.[[Enumerable]]) is *false*, return *false*.
-            1. If IsGenericDescriptor(_Desc_) is *false* and SameValue(IsAccessorDescriptor(_Desc_), IsAccessorDescriptor(_current_)) is *false*, return *false*.
+            1. If _Desc_ has an [[Enumerable]] field and _Desc_.[[Enumerable]] is not _current_.[[Enumerable]], return *false*.
+            1. If IsGenericDescriptor(_Desc_) is *false* and IsAccessorDescriptor(_Desc_) is not IsAccessorDescriptor(_current_), return *false*.
             1. If IsAccessorDescriptor(_current_) is *true*, then
               1. If _Desc_ has a [[Get]] field and SameValue(_Desc_.[[Get]], _current_.[[Get]]) is *false*, return *false*.
               1. If _Desc_ has a [[Set]] field and SameValue(_Desc_.[[Set]], _current_.[[Set]]) is *false*, return *false*.
@@ -15407,7 +15407,7 @@ <h1>[[IsExtensible]] ( ): either a normal completion containing a Boolean or a t
           1. Return ? IsExtensible(_target_).
         1. Let _booleanTrapResult_ be ToBoolean(? Call(_trap_, _handler_, « _target_ »)).
         1. Let _targetResult_ be ? IsExtensible(_target_).
-        1. If SameValue(_booleanTrapResult_, _targetResult_) is *false*, throw a *TypeError* exception.
+        1. If _booleanTrapResult_ is not _targetResult_, throw a *TypeError* exception.
         1. Return _booleanTrapResult_.
       </emu-alg>
       <emu-note>