Bugfix in get_pool.