HTML escaping bug