fixed HTML encoding