Fix an encoding issue