more fixes to decodeHTML