Revert "minor doc change"

This reverts commit d27041f8e265d632cfd5ddb34b7c60585431a402.