some edits in paxos class