fix the travis-ci link