Correction of ">=" operator