Minor doc tweaks.

Mostly to test git hooks.