xmllib.py: close off memory leak