Fix bugs in slave
Lamport's implementation