Fix typo
Merge pull request #635 from dspinellis/typo

Fix typo