fix to PaxosAcceptor