AREA with no HREF causes warning? Is it a bug?

In an XHTML file, I have this inside a <map>:

  <area shape="default" nohref="nohref" alt="" />

HTML Tidy versions 20000113 and 20000804 both give a warning like
this:

  line 129 column 1 - Warning: area lacks "href" attribute

As far as I can understand after looking at DTD, the <area> is
correctly defined. Is this a minor bug in HTML Tidy?

-- 
 "pienena   /  Paavo "Rainbow Rat" Hartikainen
  minusta  /  E-mail: pahartik@sci.fi
  tulee   /  URL: http://www.sci.fi/~pahartik/
  rotta" /  EFnet: pahartik at #Atari and #LionKing

Received on Sunday, 11 February 2001 23:16:01 UTC