HISTORY.md updated.