types+grammar: fixing punctuation typo in previous ch4 update