HTML W3C fixes