Minor tweaks to the docs.