Pool: shrink now works with n > 1