Removed another trace of option 'thread-pool-size'