Fix small issue with Unequal.simplify