Fix HISTORY.txt