minor document updates