added missing std::cout