Replace options.php

Pushed incorrect version of options.php. Replaced with the correct one.