some more xml-processing stuff