small bug in print_results