Fix a memory leak
    
    There are quite a few other leaks, but this is not a long-running
    program so it's not really worth it searching the code for all of them;
    this one was just randomly noticed.