Fix a bug in the usage()