fix bug reading in command line options