Improving doc-book