Oh, good lord. The definition uses max, but I was thinking of min. Face palm.