Document and fix formatting for PriorityQueue