Fix typo in HISTORY. [admin]