Fix PR number in ChangeLog