bugfix in travis config