Minor URL update for the Travis Build server.