reverting semaphore - is a red herring