Some minor documentation enhancements.

It is unlikely this has ever been used. I found it through grep, not through ``make linkcheck``.