add forgotten free() -- fix tiny memory leak