Documentation tweak
[ci skip]