oops. extra std::cout