fix error in travis config