Actually fixing the Travis CI URL