Fixes the coverage badge