Polish: Improved an error message.