Fix a minor memory leak

2 jobs for !31 with cleanups in 1 minute and 5 seconds (queued for 1 second)
latest detached
Status Job ID Name Coverage
  Build
passed #11751
build

00:00:27

 
  Distcheck
passed #11752
distcheck

00:00:38