Fix typo as reported in Documentation Feedback 1162

Resubmission of #847