Fix coverage restart. I hope