Fix a little memory leak