Fix std::cout