fix typo in HISTORY