types+grammar: minor wording tweak