Fix the XHTML→HTML5 conversion