fix link to travis CI