Fix bug print_to_cout