types+grammar: minor wording tweak in ch4