fixup: print_solution()