fix MINI in inf_sup