adjust HTML escaping