edited Main options.tex