tiny memory leak fix; I should be more careful!