Fix HISTORY.txt reST