Fixing concurrencyDecrement