fix encoding in error output