Re added PrioQueue in main for doc (sorry)