remove defunct option