Improve semaphore documentation