Fix bad malloc in 3.7.1-Complet.