HISTORY.md slightly reformatted