Fix a sorting bug.