Small tweaks to the documentation