Fixed a bug in print_usage()