Update xmlutil.py