Fix HISTORY.txt syntax