Fix a problem mentioned in #34: typo!