fix documentation (PR #9327)

GitHub