types+grammar: tweaking parenthetical for clarity