Update options.cpp

FIXME