another CI fix