few minor documentation cleanups