Small tweaks to docs