HTML file is now XHTML.