Re #8602. Fixed a memory leak.