minor document fixes