fixing Travis CI link