removed a redundant option