Tweak the html encoding