total ordering mistake