modified comments in /utilities/option.cc; one more edit will occur to clean up examples