Minor doc-related fixes.