HTML5 tweaks