Remove unnecessary std::