Fix a memory leak introduced in 33efe2bd2fd6e87d2d4e209f08c4a03573e4f049