Another minor memory leak fix