correction to deadlock extraction