Another Bug fix in travis script