Minor documentation update.

[ci:skip]