doctype not required in html files