Doc fix, closes #8359.