cleanup HTML encoder (#135)