bugfix: wrong travis-ci link