bugprobhunt: making it clearer that we have a pmin value.