minor document edit