Fix a typo in the manual
Fix a typo in the manual

Closes #5581

notepadqq/CodeMirror,hackmdio/CodeMirror,thomasjm/CodeMirror,jkaplon/CodeMirror,thomasjm/CodeMirror,hackmdio/CodeMirror,pabloferz/CodeMirror,namin/CodeMirror,codio/CodeMirror,mtaran-google/CodeMirror,nightwing/CodeMirror,notepadqq/CodeMirror,thomasjm/CodeMirror,SidPresse/CodeMirror,notepadqq/CodeMirror,jkaplon/CodeMirror,SidPresse/CodeMirror,dperetti/CodeMirror,wingify/CodeMirror,hackmdio/CodeMirror,pabloferz/CodeMirror,SidPresse/CodeMirror,mtaran-google/CodeMirror,wingify/CodeMirror,mtaran-google/CodeMirror,jkaplon/CodeMirror,pabloferz/CodeMirror,codio/CodeMirror,namin/CodeMirror,dperetti/CodeMirror,namin/CodeMirror,nightwing/CodeMirror,dperetti/CodeMirror,wingify/CodeMirror,nightwing/CodeMirror,codio/CodeMirror