Fix PriorityQueue example. closes #3