Maybe concurrency bug is now fixed