Fix travis-ci url.