bugfix in xml reader