fix some bugs in my PartialOrd2 implementation.