Some cosmetic improvements to the doc