10doc-fixes.patch

