small typo, fixes #157