Improve docs a bit.

[ci skip]