Further doc improvements.

[ci skip]