another documentation change

[ci skip]