Fix a one-time memory leak.