fix for Travis CI