fix options.py