Fix one very dumb memory leak