Fix priorities according to 20after4