remove some redundant parentheses

7 jobs for master in 16 minutes and 46 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #15340
fp
build-coq.8.6.0

00:04:18

passed #15339
fp
build-coq.8.6.1

00:04:15

passed #15338
fp
build-coq.8.7.0

00:03:28

passed #15337
fp
build-coq.8.7.1

00:03:29

passed #15336
fp-timing
build-coq.8.7.2

00:03:22

passed #15335
fp-timing
build-coq.8.8.0

00:03:32

passed #15334
fp
build-coq.dev

00:16:46