Slightly improve documentation

[ci skip]