fix bad encoding in error message