update HISTORY.md from Tony's fix for #822