Oops, a leak escaped in the last commit