Typo (fixes #56)