Fix typo

3 jobs for patch-1 in 19 minutes and 16 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #1177
build-sbbs

00:16:34

passed #1178
build-sexpots

00:00:15

passed #1179
build-syncterm

00:02:26