Fix total ordering.