simple fix in the multithreading manager