Fix up coverage generation.