Docs, minor cleanups.