Right now decodeHeader will encode the non-ascii text into the HTML