Made changes to paxos section