Some documentation cleanups