html to xhtml conversion