For HTML5 output, use a lowercase doctype