Improving comments to options.py