Fix the broken coverage badge