Plug a small memory leak