added missing text for HTML escaping