Fixed the Travis CI badge