Fixed a typo in bounded Lamport spec.
Merge pull request #2 from fniksic/master

A Typo in Lamport Example