fixes travis-ci; fixes #1