types+grammar: minor tweak