small changes in the command line option