bugfix for Travis CI