fix memory leak reported in #3134 (#3135)

1 file changed