modified OPTIONS.py : OPTIONFILE_VERSION=9; improved documentation (typos)