some small change in CI