diff --git a/spec.html b/spec.html
index fd0af52c26..5f280ee21c 100644
--- a/spec.html
+++ b/spec.html
@@ -27182,7 +27182,7 @@ <h1>Runtime Semantics: TimeString( _tv_ )</h1>
             1. Let _hour_ be be the String representation of HourFromTime(_tv_), formatted as a two-digit number, padded to the left with a zero if necessary.
             1. Let _minute_ be be the String representation of MinFromTime(_tv_), formatted as a two-digit number, padded to the left with a zero if necessary.
             1. Let _second_ be be the String representation of SecFromTime(_tv_), formatted as a two-digit number, padded to the left with a zero if necessary.
-            1. Return String value formed by concatenating _hour_, `":"`, _minute_, `":"`, _second_, and `" GMT"`
+            1. Return String value formed by concatenating _hour_, `":"`, _minute_, `":"`, _second_, the code unit 0x0020 (SPACE), and `"GMT"`
           </emu-alg>
         </emu-clause>
 
@@ -27196,7 +27196,7 @@ <h1>Runtime Semantics: DateString( _tv_ )</h1>
             1. Let _month_ be the Name of the entry in <emu-xref href="#sec-todatestring-month-names"></emu-xref> with the Number MonthFromTime(_tv_).
             1. Let _day_ be be the String representation of DateFromTime(_tv_), formatted as a two-digit number, padded to the left with a zero if necessary.
             1. Let _year_ be be the String representation of YearFromTime(_tv_), formatted as a number of at least four digits, padded to the left with zeroes if necessary.
-            1. Return the String value formed by concatenating _weekday_, `" "`, _month_, `" "`, _day_, `" "`, and _year_.
+            1. Return the String value formed by concatenating _weekday_, the code unit 0x0020 (SPACE), _month_, the code unit 0x0020 (SPACE), _day_, the code unit 0x0020 (SPACE), and _year_.
           </emu-alg>
           <emu-table id="sec-todatestring-day-names" caption="Names of days of the week">
             <table>
@@ -27391,7 +27391,7 @@ <h1>Runtime Semantics: TimeZoneString( _tv_, )</h1>
             1. Let _offsetMin_ be the String representation of MinFromTime(abs(_offset_)), formatted as a two-digit number, padded to the left with a zero if necessary.
             1. Let _offsetHour_ be the String representation of HourFromTime(abs(_offset_)), formatted as a two-digit number, padded to the left with a zero if necessary.
             1. If _offset_ &ge; 0, let _offsetSign_ be `"+"`; otherwise, let _offsetSign_ be `"-"`.
-            1. Let _tzName_ be an implementation-defined string, either `""` or a string of the form `" ("` _name_ `")"` where _name_ is an implementation-defined timezone name.
+            1. Let _tzName_ be an implementation-defined string, either `""` or a string of the form `" ("` _name_ `")"` where the whitespace is the code unit 0x0020 (SPACE) and _name_ is an implementation-defined timezone name.
             1. Return the concatenation of _offsetSign_,  _offsetHour_, _offsetMin_, and _tzName_.
           </emu-alg>
         </emu-clause>
@@ -27404,7 +27404,7 @@ <h1>Runtime Semantics: ToDateString( _tv_ )</h1>
             1. Assert: Type(_tv_) is Number.
             1. If _tv_ is *NaN*, return `"Invalid Date"`.
             1. Let _t_ be LocalTime(_tv_).
-            1. Return the String value formed by concatenating DateString(_t_), `" "`, TimeString(_t_), and TimeZoneString(_tv_).
+            1. Return the String value formed by concatenating DateString(_t_), the code unit 0x0020 (SPACE), TimeString(_t_), and TimeZoneString(_tv_).
           </emu-alg>
         </emu-clause>
       </emu-clause>
@@ -27432,7 +27432,7 @@ <h1>Date.prototype.toUTCString ( )</h1>
           1. Let _month_ be the Name of the entry in <emu-xref href="#sec-todatestring-month-names"></emu-xref> with the Number MonthFromTime(_tv_).
           1. Let _day_ be be the String representation of DateFromTime(_tv_), formatted as a two-digit number, padded to the left with a zero if necessary.
           1. Let _year_ be be the String representation of YearFromTime(_tv_), formatted as a number of at least four digits, padded to the left with zeroes if necessary.
-          1. Return the String value formed by concatenating _weekday_, `", "`, _month_, `" "`, _day_, `" "`, _year_, `" "`, and TimeString(_tv_).
+          1. Return the String value formed by concatenating _weekday_, `","`, the code unit 0x0020 (SPACE), _month_, the code unit 0x0020 (SPACE), _day_, the code unit 0x0020 (SPACE), _year_, the code unit 0x0020 (SPACE), and TimeString(_tv_).
         </emu-alg>
       </emu-clause>