Fix CI issue, for the last time