Trivial documentation correction

[ci skip]