bugfix in xml exporter