set charset in the html, just in case