Trivial typo fix
Merge pull request #3790 from timvandermeij/typo-fix

Trivial typo fix