Fix PR number in ChangeLog.