fixing typo in options.py