Fix typo in documentation (Trac #5035)