style cleanup in options.py