Update xmlextract.py