fix HISTORY for 3.1.7 release