A few minor doc updates

[ci-skip]