I believe it was probably a typo, and one that existed in the original paper. The tricky thing about it is, a person might not notice it until it was pointed ou

I believe it was probably a typo, and one that existed in the original paper. The tricky thing about it is, a person might not notice it until it was pointed out. (I didn't - but I verified afterward that it's in Lamport's paper)