Fix for badge for coverall