Fix coverage reporting configuration