Minor changes for leader and RaftServerState.