Fixing an encoding issue in a clumsy way.