Fix command line options bug