Make priority sorting work