This is insane, when I edit the label names as suggested, the labels are sorted in the right order: 1,2,3. As soon as I change the colour though from red being 1, oragange being 2, yellow being 3 and 4 being green/done which is the utmost basic normal traffic light way of labelling anything as regards priorities, the label order is reversed exactly the other way round again.