types+grammar: minor typo ch4