Bug in an error message.