HTML entities in JSON