fix html doctype