Update HISTORY.md with fix for #174