commented out decodeHTML, as we don't encodeHTML anymore