Fix deadlock generator :(