Small fix for the XML exporter.