diff --git a/spec.html b/spec.html
index 3191db9794..0d3aa34edd 100644
--- a/spec.html
+++ b/spec.html
@@ -5037,12 +5037,12 @@ <h1>
     <emu-clause id="sec-tointegerorinfinity" type="abstract operation" oldids="sec-tointeger">
       <h1>
         ToIntegerOrInfinity (
-          _argument_: unknown,
+          _argument_: an ECMAScript language value,
         )
       </h1>
       <dl class="header">
         <dt>description</dt>
-        <dd>It converts _argument_ to an integer, +&infin;, or -&infin;.</dd>
+        <dd>It converts _argument_ to an integer representing its Number value with fractional part truncated, or to +&infin; or -&infin; when that Number value is infinite.</dd>
       </dl>
       <emu-alg>
         1. Let _number_ be ? ToNumber(_argument_).
@@ -5582,12 +5582,12 @@ <h1>
     <emu-clause id="sec-tolength" type="abstract operation">
       <h1>
         ToLength (
-          _argument_: unknown,
+          _argument_: an ECMAScript language value,
         )
       </h1>
       <dl class="header">
         <dt>description</dt>
-        <dd>It converts _argument_ to an integral Number suitable for use as the length of an array-like object.</dd>
+        <dd>It clamps _argument_ to an integral Number suitable for use as the length of an array-like object.</dd>
       </dl>
       <emu-alg>
         1. Let _len_ be ? ToIntegerOrInfinity(_argument_).
@@ -5618,22 +5618,22 @@ <h1>
     <emu-clause id="sec-toindex" type="abstract operation">
       <h1>
         ToIndex (
-          _value_: unknown,
+          _value_: an ECMAScript language value,
         )
       </h1>
       <dl class="header">
         <dt>description</dt>
-        <dd>It returns _value_ argument converted to a non-negative integer if it is a valid integer index value.</dd>
+        <dd>It converts _value_ to a non-negative integer if the corresponding decimal representation, as a String, is an integer index.</dd>
       </dl>
       <emu-alg>
         1. If _value_ is *undefined*, then
           1. Return 0.
         1. Else,
-          1. Let _integerIndex_ be 𝔽(? ToIntegerOrInfinity(_value_)).
-          1. If _integerIndex_ &lt; *+0*<sub>𝔽</sub>, throw a *RangeError* exception.
-          1. Let _index_ be ! ToLength(_integerIndex_).
-          1. If ! SameValue(_integerIndex_, _index_) is *false*, throw a *RangeError* exception.
-          1. Return ℝ(_index_).
+          1. Let _integer_ be ? ToIntegerOrInfinity(_value_).
+          1. Let _clamped_ be ! ToLength(𝔽(_integer_)).
+          1. If ! SameValue(𝔽(_integer_), _clamped_) is *false*, throw a *RangeError* exception.
+          1. Assert: 0 &le; _integer_ &le; 2<sup>53</sup> - 1.
+          1. Return _integer_.
       </emu-alg>
     </emu-clause>
   </emu-clause>