types+grammar: typo fix in ch2