fixed some docbook issues