One more CI fix.