fix in travis config