Doc fix.

Resolves #6612