gnome-xml push mode bug