simplify killWorkers()