fix bug (harmless) in print_order