Fixes small typo in documentation

[lshapton]

Description

Fixes small typo in documentation

Checklist

• Code compiles correctly
• All tests are passing
• New tests have been created which fail without the change (if possible)
• README / documentation was extended, if necessary
• Changelog entry (if change is visible to the user)
• Used meaningful commit messages

[codecov]

Codecov Report

Merging #5343 into develop will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           develop   #5343   +/-   ##
=======================================
  Coverage       88%     88%           
=======================================
  Files          322     322           
  Lines        32491   32491           
  Branches      3865    3865           
=======================================
  Hits         28595   28595           
  Misses        2592    2592           
  Partials      1304    1304

Flag	Coverage Δ
#all	88% <ø> (ø)	⬆️
#syntax	27.9% <ø> (ø)	⬆️

[chriseth]

Thanks!