minor improvement to TaskWorkerManager