minor copyedit (PR #11075)

GitHub