W3C HTML5 corrections