fixes #8239

Why did you add parens here ?