diff --git a/spec.html b/spec.html
index 9a35df9e593..fb051a60882 100644
--- a/spec.html
+++ b/spec.html
@@ -29052,9 +29052,9 @@ String.prototype.toLowerCase ( )
1. Let _O_ be ? RequireObjectCoercible(*this* value).
1. Let _S_ be ? ToString(_O_).
- 1. Let _cpList_ be a List containing in order the code points of UTF16DecodeString(_S_).
- 1. Let _cuList_ be a List where the elements are the result of toLowercase(_cpList_), according to the Unicode Default Case Conversion algorithm.
- 1. Let _L_ be ! UTF16Encode(_cuList_).
+ 1. Let _sText_ be UTF16DecodeString(_S_).
+ 1. Let _lowerText_ be the result of toLowercase(_sText_), according to the Unicode Default Case Conversion algorithm.
+ 1. Let _L_ be ! UTF16Encode(_lowerText_).
1. Return _L_.
The result must be derived according to the locale-insensitive case mappings in the Unicode Character Database (this explicitly includes not only the UnicodeData.txt file, but also all locale-insensitive mappings in the SpecialCasings.txt file that accompanies it).
@@ -36543,8 +36543,7 @@ Runtime Semantics: QuoteJSONString ( _value_ )
This operation interprets a String value as a sequence of UTF-16 encoded code points, as described in .
1. Let _product_ be the String value consisting solely of the code unit 0x0022 (QUOTATION MARK).
- 1. Let _cpList_ be a List containing in order the code points of UTF16DecodeString(_value_).
- 1. For each code point _C_ in _cpList_, do
+ 1. For each code point _C_ in UTF16DecodeString(_value_), do
1. If _C_ is listed in the “Code Point” column of , then
1. Set _product_ to the string-concatenation of _product_ and the escape sequence for _C_ as specified in the “Escape Sequence” column of the corresponding row.
1. Else if _C_ has a numeric value less than 0x0020 (SPACE), or if _C_ has the same numeric value as a or , then