Fix encoding problems in easy_xml.py