fixed a typo in options.html

i hereby license my contributions under any GPL