Removed obsolete option.