#13: fix typo