Fix a typo in an error message.