[whatwg] Bug in "Before DOCTYPE name state"?

Thu Dec 21 02:08:51 PST 2006

Before DOCTYPE name state:
http://www.whatwg.org/specs/web-apps/current-work/#before1
"""
↪ U+0061 LATIN SMALL LETTER A through to U+007A LATIN SMALL LETTER Z
    Create a new DOCTYPE token. Set the token's name name to the
uppercase version of the current input character (subtract 0x0020 from
the character's code point), and mark it as being in error. Switch to
the DOCTYPE name state.
"""

DOCTYPE name state
http://www.whatwg.org/specs/web-apps/current-work/#doctype1
"""
↪ U+0061 LATIN SMALL LETTER A through to U+007A LATIN SMALL LETTER Z
    Append the uppercase version of the current input character
(subtract 0x0020 from the character's code point) to the current
DOCTYPE token's name. Stay in the DOCTYPE name state."""

Why is the DOCTYPE marked "in error" in the former case?

In other words, why would <!DOCTYPE html> be "in error" while
<!DOCTYPE Html> wouldn't?

My guess is that it's a bug in the "Before DOCTYPE name state".

-- 
Thomas Broyer