fix: option in proc elim