It looks more like a concurrency bug to me.