Fix for failing Travis CI