--- util/XML.cc.orig Mon Dec 10 22:26:55 2007 +++ util/XML.cc Mon Dec 10 22:27:07 2007 @@ -49,7 +49,7 @@ void XML::init() { // Only initialise scanners once if (!initialised) { // - xmlScan.addPattern(XmlDecl, "<\\?xml.*?>[[:space:]]*"); + xmlScan.addPattern(XmlDecl, "<\\?xml.*\\?>[[:space:]]*"); xmlScan.addPattern(XmlCommentBegin, "