fix HTML escaping