fix typo in comment
Merge pull request #539 from nico/typo

fix typo in comment