a bug was fixed in handleNewLeaderMessage