This fixes a bug where some matches were skipped, due to a spurious,
abrupt termination of the search.

This also changes the default argument to 'random=False'.