Concurrency corrections