* ChangeLog: Correct PR number.