Bug fixing: change .travis.yml