Add omitted "html" in the DOCTYPE