Small tweaks for consistency with rest of doc.