One more CI fix