--- freedesktop.org.xml.in.old 2008-05-29 07:42:53.000000000 +0200 +++ freedesktop.org.xml.in 2008-05-29 07:43:08.000000000 +0200 @@ -2857,6 +2857,7 @@ +