bug fix in TravisCI file