Correct HTML5 doctype