Fixed a typo in bounded Lamport spec.