fixed encodeHTML