Bug #4 - Incorrect synchronization.
The bug sounds quite unlikely to me, but the fix is easy and effortless.