clean up for HTML5.tx