Make travis happier.