Fix PHPDoc
Clone priority queue before iteration (fix #60)