Fix travis-ci link.