some late-minute changes to ChangeLog