Added missing encodeHTML