Try to make CI green

After merging, CI fails again. Let's make it green