Correcting PR number in ChangeLog: