cleanup of decodeHtml() function

removed duplicates