Fix bad docbook