modify special character in HTML