Update minmax.h