Add #497 fix to HISTORY