Doc fix for -config_file option.