restructured some output to std::cout