minor document changes