Fix another memory leak

Authored by nienhueser on Jan 8 2017, 4:37 PM.