minor document update