minor semaphore enhancement