Fixing CI typos.