Update HISTORY.md

Documented the fix for issue #95