Fix the Travis badge.