misprint in an error message