Fixing typo

I believe it is supposed to be written this way.
Merge pull request #152 from mkautzmann/patch-1

Fixing typo