fix typo in permitter code