Fix typo (and the CI)