fixed an error in travis config