Error reporting: correction about std::find