Remove obsolete option