Add pool.terminate()