Bug fix in CI