Update options.cc

Remove misleading comment - mostly for the sake of testing the online editing capabilities of GitHub :-)