CI fix, I hope