Fixed minor CI config typo.