Minor improvements to docs.