Fixes mangling HTML5 doctype