Fix CI maybe?