Fix typo in HISTORY.txt