doc typo

fixes #5147
[ci skip]