doctype is case insensitive in html5