Doc fix.

Resolves #6612
Merge pull request #12819 from cachedout/6612

Doc fix.