small fix in travis file