Minor documentation cleanups, no functional changes.