HTML doctype string fixed