Fix typo (fixes #4)