diff --git a/spec/datetimeformat.html b/spec/datetimeformat.html
index 1f4e6990..a385b46b 100644
--- a/spec/datetimeformat.html
+++ b/spec/datetimeformat.html
@@ -37,7 +37,7 @@
ChainDateTimeFormat ( _dateTimeFormat_, _newTarget_, _this_ )
-
+
CreateDateTimeFormat (
_newTarget_: a constructor,
@@ -47,32 +47,12 @@
_defaults_: a String
): either a normal completion containing a DateTimeFormat object or a throw completion
-
-
- 1. Let _dateTimeFormat_ be ? OrdinaryCreateFromConstructor(_newTarget_, *"%DateTimeFormat.prototype%"*, « [[InitializedDateTimeFormat]], [[Locale]], [[Calendar]], [[NumberingSystem]], [[TimeZone]], [[Weekday]], [[Era]], [[Year]], [[Month]], [[Day]], [[DayPeriod]], [[Hour]], [[Minute]], [[Second]], [[FractionalSecondDigits]], [[TimeZoneName]], [[HourCycle]], [[DateStyle]], [[TimeStyle]], [[Pattern]], [[RangePatterns]], [[BoundFormat]] »).
- 1. Perform ? InitializeDateTimeFormat(_dateTimeFormat_, _locales_, _options_, _required_, _defaults_).
- 1. Return _dateTimeFormat_.
-
-
-
-
-
- InitializeDateTimeFormat (
- _dateTimeFormat_: an Object,
- _locales_: an ECMAScript language value,
- _options_: an ECMAScript language value,
- _required_: a String,
- _defaults_: a String
- ): either a normal completion containing a DateTimeFormat object or a throw completion
-
+ 1. Let _dateTimeFormat_ be ? OrdinaryCreateFromConstructor(_newTarget_, *"%DateTimeFormat.prototype%"*, « [[InitializedDateTimeFormat]], [[Locale]], [[Calendar]], [[NumberingSystem]], [[TimeZone]], [[Weekday]], [[Era]], [[Year]], [[Month]], [[Day]], [[DayPeriod]], [[Hour]], [[Minute]], [[Second]], [[FractionalSecondDigits]], [[TimeZoneName]], [[HourCycle]], [[DateStyle]], [[TimeStyle]], [[Pattern]], [[RangePatterns]], [[BoundFormat]] »).
1. Let _requestedLocales_ be ? CanonicalizeLocaleList(_locales_).
1. If _required_ is not *"any"* or _defaults_ is not *"date"*, then
1. Set _options_ to ? ToDateTimeOptions(_options_, _required_, _defaults_).