Some documentation cleanups and formatting fixes