small bugs on validator page

there seems to be some small bug on the validator page:
http://validator.w3.org/

the header seems to want to have round corners.  but it is round corners at
3 corners and square corner at the top right corner.

on Firefox 3, the line This service runs the W3C Markup Validator,
v0.8.5<http://validator.w3.org/whatsnew.html#t2008-11-20>
.
the v has dotted underline.

Help and FAQ has extra dotted underline under just FAQ.

About is "About..." while all other links do not have the "..." after the
word.