Fix a noncommutative comparison for overlaps.