bug fix in travis script