Travis badging fix.