fix link to travis-ci