Simplify the HTML escaping