Fix coverage reporting