fix coverage pushing