Small tweaks to the docs.