Fixed priority inversion bug in MSPriorityQueue