Fix horrible typo.

6 jobs for master in 19 minutes and 44 seconds
Status Job ID Name Coverage
  Build
passed #8569
fp
build-coq.8.6.0

00:02:45

passed #8568
fp
build-coq.8.6.1

00:10:31

passed #8567
fp
build-coq.8.7.0

00:10:35

passed #8566
fp
build-coq.8.7.1

00:10:38

passed #8565
fp-timing
build-coq.8.7.2

00:02:17

passed #8564
fp
build-coq.dev

00:19:44