Tweak docs a bit

[ci skip]