Small tweaks to the doc.