Fixing another CI error