Some formatting changes to HISTORY.md