Minor HTML5 bug fix.