Fixing an encoding issue