Correction of the min() function