Correcting an encoding problem