Remove redundant std::