Minor tweaks to ThreadPool