fix the command-line options