removed an unused option