diff --git a/source b/source
index f8c3cf192fa..f8b50795479 100644
--- a/source
+++ b/source
@@ -9617,10 +9617,12 @@ interface HTMLUnknownElement : HTMLElement { };
HTMLUnknownElement
.
If name is acronym
, basefont
, big
,
- center
, listing
, nobr
, noembed
,
- noframes
, plaintext
, rb
, rtc
,
- strike
, tt
, or xmp
, then return
- HTMLElement
.
center
, nobr
, noembed
, noframes
,
+ plaintext
, rb
, rtc
, strike
, or
+ tt
, then return HTMLElement
.
+
+ If name is listing
or xmp
, then return
+ HTMLPreElement
.
Otherwise, if this specification defines an interface appropriate for the element type corresponding to the local name name, then return that interface.