Minor documentation cleanups.