fix for getXMLEncoding()