Respect lower-bound of `choose` during shrinking
Fix typo in comment