more revisions for HISTORY.md