replace: plug a memory leak