Fixing the broken CI