Fix a typo (fixes #63)