types+grammar: typo, closes #188