fix in CI file