nitpick phrasing of the docs added for #13835