No, that doesn't matter.  It's just collecting all of the results from the generator returned by `allresults`.  It is instantly reduced by `min`.  Your change in `allresults` is sufficient.