fix a mistaken command line