removed defunct options