more W3C fixes