tweaks: make several small adjustments to the documentation
4 files changed