Fix release numbering in ChangeLog.