Issue #58: fix typo