Minor tweaks to docs