Fix formatting problem in HISTORY.md