Fixed typo in CI config