Fix an encoding issue.