update HISTORY.md with #41 fix