minor document correction