Small improvements to the docs.