Update TocGen.py