Removed std:: in a few places, since we're already using namespace std