Fix typo in PR number.