Possible fix for Travis?