Modify options modula

	modified:   util/options.py