Fix encoding problem in error message.