Update semaphore.cc

Likely a copy/paste typo in the comments