Tweak HISTORY.md