fixing docbook