Doc fixes.

[ci skip]