fix a bug in lock in mpaxos