Backported from trunk (rev #9888);
fixed documentation typo