fix errors in travis config