Another fix for the CI config file