MSPriorityQueue: fixed typo, add more assertions