Fixes #2784: Fixed careless mistake with concurrency implementation (i.e. forgot to paste after cutting)