Try to fix coverage measurement.