Fix small typographic error
Merge pull request #7935 from mscherer/patch-1

Fix small typographic error