Fixing docstring incorrect reference to obsolete command line options