patched very small memory leak