correct spelling errors (minor change)

Merged Andrei Pavel requested to merge 2025-spelling-corrections into master

Part of #2025 (closed)

Merge request reports