Tiny tweaks to docs