Issue #1331: Fix incorrect copy-paste in XML