Fix broken HISTORY.txt