Minor concurrency bug fix