(refs #507)Small fix about pull request UI