Fix a type issue with command line options.