Minor correction on description of Semaphore Lock example