Minor fixes to top-level docs.