From xhtml to html5