Doc tweaks
[ci skip]