Fix bug in travis-file