typo (fixes #4)