fix the CI