Update doc of options.cc