commit of failure detector with correction ? of the leader jump error