More doc tweaks

[ci skip]