Fix memory leak in `eval7`