Fix typo in semaphore.h