update HISTORY.md with fix for #154