Fixed an encoding problem