Added getter to set the XML encoding