Hopefully fix coverage measurement.