Typo (fixes #82)