Minor tweaks to the documentation