Typo (fixes #4)