Second fix for Travis