Minor tweaks of the docs (style).