a few tweaks to the html5 declaration