fix PullRequestNumber.toString