Minor HTML5 fixes