Fix leak in my recent fix for PR8442.