Original commit message from CVS: * docs/manual/highlevel-xml.xml: Fix XML example code. Fixes #472714.