one more tweak to NewWorkerPool()