fixed an encoding error