ci and coverage fix