Fix an encoding issue with the i character in "naïve"