Trying to fix the Travis CI badge.