TerminationCollection `max` instead of `min`?

[drdraad]

This line of code in TerminationCollection specifies that the min() proportion for the terminators should be used, but I think this should be the max(), otherwise only the last item to terminate will trigger it.