A typo fix (PR #9717)

GitHub

Thanks!