Update ordering.h