fixed an encoding problem caused by an copy & paste