HISTORY.md: Tweaks