trivial patch to fix memory leak

--
Silvio