more docs tweaks

[ci skip]