fix coverage badges