fixes travis.yml; fixes #140