treeprng.py: more doc fixes