remove dead formal parameter