Removed superfluous std::