paxos: change log formatting