Fixed typos
merged branch pborreli/typos-sat (PR #8842)

This PR was merged into the master branch.

Discussion
----------

Fixed typos

Commits
-------

d37404c Fixed typos