Fixed docbook formatting