Typo (fixes #3)