Fixed minor typo
git push #1225 Fixed minor typo (deguif)

This PR was merged into the master branch.

Discussion
----------

Fixed minor typo

Commits
-------

c05c2e1 Fixed minor typo