Remove extra parens; fixes #1565