Fixed some docbook output