Removed obsolete, unused setting.