fix an encoding issue