Minor HTML5 fix