Small cleanups to docs.