small optimizing in html escape function