Fixed typo
merged branch pborreli/patch-10 (PR #8839)

This PR was merged into the master branch.

Discussion
----------

Fixed typo

Commits
-------

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

This PR was merged into the master branch.

Discussion
----------

Fixed typos

Commits
-------

d37404c Fixed typos