minor document modification