Fix a typo and minor error in options