Fix HTML5 doctype.