update HISTORY.md for release 0.8.3