Small change in travis script.