Minor HTML5 tweak