Fix a typo in options.