Fix overly generous match

2 jobs for coq in 58 seconds
Status Job ID Name Coverage
  Lint
passed #741
lint

00:00:25

 
  Test
passed #742
test

00:00:32