Some cleanup in WorkerThreadPool.cpp