Update xmlgen.py