types+grammar: minor typo fix