Little HTML5 changes