bugfixes to command line parsing