Fix a small memory leak