Fix small typo in HISTORY. [admin]