Minor tweaks of the docs.