another fix for Travis CI