slightly rename command line parameters