If it's a user-allocated structure shouldn't they be deleting it?