fix a bug in print_usage