Mi-Cho-Coq: fix typo

2 jobs for section-refactor in 4 minutes and 19 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #250420934
coq:8.8

00:03:56

passed #250420935
coq:8.9

00:04:19