Plugged a memory leak. (history_ never deleted.)