minor nitpick tweaks to docs

adjustments of trivial issues noticed while reading the documentation
--no-rebase for now