Fix types in OrderingComparison.