Fix bug introduced while documenting PostOrderIterator