Minor documentation changes again.

[ci:skip]