diff --git a/spec/abstractops.html b/spec/abstractops.html
index 8ce2455ce3..3c28c9e22f 100644
--- a/spec/abstractops.html
+++ b/spec/abstractops.html
@@ -1101,6 +1101,9 @@ <h1>ISO 8601 grammar</h1>
       UTCOffsetWithSubMinuteComponents[Extended] :
           Sign Hour[+Padded] TimeSeparator[?Extended] MinuteSecond TimeSeparator[?Extended] MinuteSecond Fraction?
 
+      NormalizedUTCOffset :
+          ASCIISign Hour[+Padded] `:` MinuteSecond
+
       UTCOffsetMinutePrecision :
           Sign Hour[+Padded]
           Sign Hour[+Padded] TimeSeparator[+Extended] MinuteSecond
diff --git a/spec/mainadditions.html b/spec/mainadditions.html
index 86ac787720..7623bb6a1a 100644
--- a/spec/mainadditions.html
+++ b/spec/mainadditions.html
@@ -283,7 +283,7 @@ <h1>SystemTimeZoneIdentifier ( ): a String</h1>
 
       <emu-alg>
         1. If the implementation only supports the UTC time zone, return *"UTC"*.
-        1. Let _systemTimeZoneString_ be the String representing the host environment's current time zone, either: a primary time zone identifier; or an offset time zone identifier.
+        1. [declared="s"] Let _systemTimeZoneString_ be the String representing the host environment's current time zone, either: a primary time zone identifier; or an offset time zone identifier<ins> String _s_ for which ParseText(StringToCodePoints(_s_), |NormalizedUTCOffset|) returns a Parse Node</ins>.
         1. Return _systemTimeZoneString_.
       </emu-alg>