doc-related cleanups