Update HISTORY.md in regards to #4