One more leak (introduced in previous commit)