minor document fix