Fix typo in InequalitySetBuilder documentation