include changes from HISTORY.txt