Fixing incorrect reference to fmax/fmin in the manual