fix coverage restart crashing