Fix a bug with the command line