Fix the Travis CI badge.