minor typo fix in HTMLFilter