Fixed typo in CI config.