removed obsolete option