Issue #76: fix typo