Added some missing characters to decodeHtml()