docs, fix typo in docs added by ed56e596a04673. [ci skip]