Fix typo in CI workflow