Fix HISTORY.txt file