bugfix: be more conservative in rebalancing semaphore counters - Thanks to Irina for reporting
Pulling in the bugfix to rebalance semaphores more conservatively