fixed Travis CI badge