Minor: typographical error in message.