minor corrections article 2. lamport link