fix a minor leak in my recent commit