Fix for Travis CI-10