Pool: minor change