HISTORY.txt: fix bad indentation.