Concurrency: cleanup