fix std::min