Fix bug in HTML Encode extension