fix incorrect inequality