Remove obsolete reference to deleted option.