Minor fix for PoolOfPools