Fix a silly potential memory leak