Fixing travis ci badges