minor nitpick tweaks to docs

adjustments of trivial issues noticed while reading the documentation