MultiPaxos leader election - need to update Participant?

[haraldng]

It seems like MultiPaxos leaders use the Participant for leader election and initially set the leader to the server with index 0.

However, the Participant does not seem to get updated when a leader changes as seen here. Can't this result in that the Participant keeps track of one server, while there is actually another server that is the leader? E.g. when a server becomes leader when doing recovery.