re #6: fix typo