another change of ordering