Fix bug in travis config