Bug: "doctype" in lowercase is not recognized

I tried two (valid) HTML 4.01 files, whose only difference is that
"DOCTYPE" is uppercase in one and lowercase in the other. The
validator only recognizes the uppercase version, the other is declared
valid, but of unknown type.

http://validator.w3.org/check/?uri=http%3A//tux.w3.org/%7Ebbos/test-uc.html
http://validator.w3.org/check/?uri=http%3A//tux.w3.org/%7Ebbos/test-lc.html

In fact, in the second case, the validator fails to find the charset,
probably because it failed to find the DOCTYPE in the first place.



Bert
-- 
  Bert Bos                                ( W 3 C ) http://www.w3.org/
  http://www.w3.org/people/bos/                              W3C/INRIA
  bert@xxxxxx                             2004 Rt des Lucioles / BP 93
  +33 (0)4 92 38 76 92            06902 Sophia Antipolis Cedex, France