main/docbook-xml: fix version 4.1.2