fix a typo (and normalize parentheses)