Fix CI config pt. 13