Issue #132: fix typo