removed defunct option