Fixing duplicate code coverage badge