fix bug in travis file