fix HISTORY.txt