Minor tweaks to the docs