Z5: correct a-b -> b-a