Possible fix for Travis