Update ordering1.h