Error in HTML DTD

http://www.w3.org/TR/html401/types.html#type-media-descriptors:
'A case-sensitive match is then made with the set of media types 
defined above.'

but
http://www.w3.org/TR/html4/present/styles.html#adef-media says that 
media is CI.

-- Random fortune
Yow!  Maybe I should have asked for my Neutron Bomb in PAISLEY --