bug fixes for option.py