a few more cleanups to docs