Misc. improvements to docs.